install this effect and execute 'f'. Wrap the result of 'f' into an
'outcome' if 'f' returns normally, otherwise if 'f' is aborted early
via a call to 'raise' wrap the 'error' passed to 'raise' into the
resulting 'outcome'.